首页> 外文OA文献 >Optimal Tableau Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-Time Temporal Logic ATL+

【2h】

Optimal Tableau Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-Time Temporal Logic ATL+

机译：交替时间时间逻辑ATL +中用于构造满意度测试和模型综合的最佳Tableau方法

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

International audience

机译：国际观众

著录项

作者
Cerrito, Serenella; David, Amélie; Goranko, Valentin;
展开▼
作者单位

展开▼
年度 2015
总页数
原文格式 PDF
正文语种 en
中图分类

相似文献

外文文献
中文文献
专利

1. Optimal Tableau Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-Time Temporal Logic ATL~+ [J] . Cerrito Serenella, David Amelie, Goranko Valentin ACM transactions on computational logic . 2016,第1期

机译：交替时间逻辑ATL〜+中用于构造满意度测试和模型综合的最优Tableau方法
2. MODEL-CHECKING ALTERNATING-TIME TEMPORAL LOGIC WITH STRATEGIES BASED ON COMMON KNOWLEDGE IS UNDECIDABLE [J] . Raluca Diaconu, Catalin Dima Applied Artificial Intelligence . 2012,第1a4期

机译：基于共同知识的带有策略的模式变更时态逻辑是无法确定的
3. An alternating-time temporal logic with knowledge, perfect recall and past:axiomatisation and model-checking [J] . Dimitar P. Guelev, Catalin Dima, Constantin Enea Journal of applied non-classical logics . 2011,第1期

机译：具有知识，完美的回忆和过去的交替时间逻辑：公理化和模型检查
4. Optimal Tableaux-Based Decision Procedure for Testing Satisfiability in the Alternating-Time Temporal Logic ATL~+ [C] . Serenella Cerrito, Amelie David, Valentin Goranko Automated reasoning . 2014

机译：基于最优Tableaux的交替时间时间逻辑ATL〜+中测试满意度的决策程序
5. Constructive modeling strategies and implementation frameworks for optimal hierarchical synthesis. [D] . Zhang, Xuefeng. 2004

机译：最佳分层综合的建设性建模策略和实施框架。
6. Using logic model methods in systematic review synthesis: describing complex pathways in referral management interventions [O] . Susan K Baxter, Lindsay Blank, Helen Buckley Woods, 2014

机译：在系统评价综合中使用逻辑模型方法：描述推荐管理干预中的复杂途径
7. Optimal Tableau Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-Time Temporal Logic ATL+ [O] . Cerrito, Serenella, David, Amélie, Goranko, Valentin 2015

机译：交替时间逻辑ATL +中用于构造满意度测试和模型综合的最佳Tableau方法

Optimal Tableau Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-Time Temporal Logic ATL+

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅